Laryngectomie totale résultats de l’expérience du service d’orl de sfax

Résultats de complétude pour des classes de types du système AF2

J.-L. Krivine introduced the AF2 type system in order to obtain programs (λterms) which calculate functions, by writing demonstrations of their totalities. We present in this paper two results of completness for some types of AF2 and for many notions of reductions. These results generalize a theorem of R. Labib-Sami established in the system F of J.-Y. Girard. Résumé. J.-L. Krivine a introduit ...

Parasites du sang de divers animaux de la region de Tehran

Adaptation du Virus de l'Echtyma Contrgieux à la Culture de Cellules de Singe

Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM

This paper presents some results of the RNTL BOM project (B Optimizing Memory). The goal was to design and implement a translator from B to C easily adaptable to memory constraints (embedded software on smart cards). We propose an extension method of the basic data types able to include some types of the target language. We present how the translator is described by the way of translation rules...

Prothèse totale inversée bilatéral de l’épaule: à propos de deux

Omarthrose bilatérale de l'épaule sur ostéonécrose est une pathologie rarement traitée dans la littérature. La présence de cette pathologie chez deux sœurs gémellaires n'est jamais décrite. Sa prise en charge chirurgicale représente un défi et nécessite un chirurgien orthopédique expérimenté en chirurgie du membre supérieur. Nous présentent deux sœurs gémellaires qui avaient une omarthrose bila...